Formal Model-Driven Engineering: Generating Data and Behavioural Components

Formal Model-Driven Engineering: Generating Data and Behavioural Components

Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possible to automate aspects of the development process, using model transformations and code generators that encode domain knowledge and implementation strategies. Using this approach, questions of correctness for a compl...

Formal and Tool Support for Model Driven Engineering with Maude

Models and metamodels play a cornerstone role in Model-Driven Software Development. Although several notations have been proposed to specify them, the kind of formal and tool support they provide is quite limited. In this paper we explore the use of Maude as a formal notation for describing models and metamodels. Maude is an executable rewriting logic language specially well suited for the spec...

Bridging The Formal Techniques and Model-Driven Engineering Divide

Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering

Software engineers are frequently faced with tasks that can be expressed as optimization problems. To support them with automation, search-based model-driven engineering combines the abstraction power of models with the versatility of meta-heuristic search algorithms. While current approaches in this area use genetic algorithms with xed mutation operators to explore the solution space, the e ci...

Formal model-driven engineering of critical information systems

Article history: Received 17 June 2013 Received in revised form 11 November 2014 Accepted 12 November 2014 Available online xxxx